# LaTeX2HTML 2022 (Released January 1, 2022)
# Associate images original text with physical files.
$key = q/Longrightarrow;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 196.25ex; vertical-align: -0.12ex; " SRC="|."$dir".q|img1.png"
 ALT="$\Longrightarrow$">|; 
$key = q/{codexenv}(MEMQ?{{it{xslash}{{it{lslash}){equiv{(MEM?EQ?{{it{xslash}{{it{lslash}){codexenv};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
  STYLE="height: 2.38ex; vertical-align: 176.27ex; " SRC="|."$dir".q|img3.png"
 ALT="\begin{codexenv}
(MEMQ? {\it x\/} {\it l\/}) $\equiv$ (MEM? EQ? {\it x\/} {\it l\/})
\end{codexenv}">|; 
$key = q/{codexenv}(PRINT{{it{objectportslash}){longrightarrow{{{it{undefined}{codexenv};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
  STYLE="height: 1.33ex; vertical-align: 177.74ex; " SRC="|."$dir".q|img2.png"
 ALT="\begin{codexenv}
(PRINT {\it object port\/}) $\longrightarrow$ {\it undefined}
\end{codexenv}">|;